differential equations elimination of arbitrary constants